Enable VMX domains on a SMP dom0.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 15 Jul 2005 08:50:48 +0000 (08:50 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 15 Jul 2005 08:50:48 +0000 (08:50 +0000)
commitd352913aeb5efefe56cc4b3df329aedbae0ab2ff
tree39ae68a934c9212ad48f5be45417af30535513ec
parent8f7262f9a6fa915e25becde39a9e10607702b31d
Enable VMX domains on a SMP dom0.

Not all vectors go through do_IRQ(). It's possible to look up the handler
in the IDT and call that one, but it'll result in two trap frames.

Signed-off-by: Xiaofeng Ling <xiaofeng.ling@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
xen/arch/x86/vmx.c